
using System;
using System.Text;

using NHibernate;
using NHibernate.Cfg;
using NHibernate.Criterion;
using NHibernate.Exceptions;

using SpotifyGenNHibernate.EN.Spotify;
using SpotifyGenNHibernate.CAD.Spotify;

namespace SpotifyGenNHibernate.CEN.Spotify
{
    public partial class TPVCEN
    {
        public bool RealizarTransaccion (int p_oid, double precio)// se devuvle true como que la transaccion se ha realizado cone exicto mok
        {
            /*PROTECTED REGION ID(Spotify.TPVCEN_RealizarTransaccion_precondition) START*/

            // Preconditions
            // if( !() )
            //              throw new ModelException("Method RealizarTransaccion() preconditions are violated.");

            /*PROTECTED REGION END*/

            /*PROTECTED REGION ID(Spotify.TPVCEN_RealizarTransaccion_body) ENABLED START*/

            // Body
            //throw new NotImplementedException ("Method RealizarTransaccion() not yet implemented.");
            return true;

            /*PROTECTED REGION END*/

            /*PROTECTED REGION ID(Spotify.TPVCEN_RealizarTransaccion_postcondition) START*/

            // Postconditions
            // if( !() )
            //              throw new ModelException("Method RealizarTransaccion() postconditions are violated.");

            /*PROTECTED REGION END*/
        }
    }
}
